141. Inconsistent Mathematics
المؤلف: by Chris Mortensen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
142. Information algebras :
المؤلف: Jürg Kohlas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Computer science -- Mathematics.,Information theory -- Mathematics.
رده :
QA76
.
9
.
M35
J874
2003
143. Integrals and Operators
المؤلف: by Irving E. Segal, Ray A. Kunze.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics.
144. Intelligent computer mathematics :
المؤلف: Cezary Kaliszyk [and 3 others] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence-- Mathematics, Congresses.,Computer science-- Mathematics, Congresses.,Artificial intelligence-- Mathematics.,Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
C53
2019
145. Introduction · to Mathematical Structures and · Proofs
المؤلف: by Larry J. Gerstein.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Science (General).
146. Introduction to Vertex Operator Algebras and Their Representations
المؤلف: by James Lepowsky, Haisheng Li.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Mathematics.,Operator theory.,Topological Groups.
147. Introduction to algebraic quantum field theory
المؤلف: Khoruzhii, Sergei Sergeevich
المکتبة: (طهران)
موضوع: ، Quantum field theory,، Algebra,، Axiomatic set theory
رده :
QC
174
.
45
.
K4913
1990
148. Introduction to algebraic quantum field theory
المؤلف: by S.S. Horuzhy
المکتبة: (کرمان)
موضوع: Quantum field theory,Algebra,Axiomatic set theory
رده :
QC
174
.
45
.
K4913
1988
149. Introduction to algebraic quantum field theory
المؤلف: by S. S. Horuzhy
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Quantum field theory,Algebra,Axiomatic set theory
رده :
QC
,
174
.
45
,.
K4913
,
1990
150. Introduction to combinatorics /
المؤلف: Martin J. Erickson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorial analysis.
رده :
QA164
.
E74
1996
151. Introduction to discrete mathematics via logic and proof /
المؤلف: Calvin Jongsma.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Discrete mathematics.,Discrete mathematics.
رده :
QA297
.
4
152. Introduction to lattice theory with computer science applications /
المؤلف: Vijay K. Garg
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Engineering mathematics.,Lattice theory.
رده :
QA76
.
9
.
L38
153. Introduction to lattices and order /
المؤلف: B.A. Davey, H.A. Priestley.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Lattice theory.
رده :
QA171
.
5
.
D38
2002
154. Introduction to logic circuits & logic design with VHDL /
المؤلف: Brock J. LaMeres.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic circuits.,VHDL (Computer hardware description language),Circuits & components.,Computer architecture & logic design.,Computers-- Logic Design.,Computers-- Systems Architecture-- General.,Logic circuits.,Technology & Engineering-- Electronics-- Circuits-- General.,VHDL (Computer hardware description language)
رده :
TK7868
.
L6
155. Introduction to mathematical proofs :
المؤلف: Charles E. Roberts, Jr.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.
رده :
QA9
.
54
.
R63
2010
156. Introduction to the Galois Correspondence
المؤلف: by Maureen H. Fenrick.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Field theory (Physics).,Group theory.,Mathematics.
157. Introduction to the Galois Correspondence
المؤلف: by Maureen H. Fenrick.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Field theory (Physics).,Group theory.,Mathematics.
158. Introduction to the Theory of Functional Equations and Inequalities
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Matemáticas.
159. Intruduction to algebraic quantum field theory
المؤلف: / by S.S.Horuzhy,Horuzhy
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Quantum field theory,Algebra,Axiomatic set theory
رده :
QC
174
.
4
.
H45
1990
160. Invariant Methods in Discrete and Computational Geometry :
المؤلف: edited by Neil L. White.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational complexity.,Computer science.,Electronic data processing.
رده :
QA448
.
D38
E358
1995
